22 XII TOPOLOGY AND TOPOLOGICAL ALGEBRA
Let CQxe i be a family of mappings of E into F (resp. R) whose supports
form a locally finite family. Then the sum ]T /a(x) is defined for all x e E,
because it contains at most finitely many non-zero terms. We denote by
£ fa the function x\-+ £.£(#). If F is R or a normed space (or more generally
a topological vector space (12.13)), and if each fa is continuous on E, then so is
/= £ y^: for given x e E there exists a neighborhood V of x which meets only
finitely many of the Supp(^), and hence there is a finite subset H of I such
that/0>)=:£/a(7) for all jeV.
A continuous partition of unity on E is by definition a family (/^)a 61 of
continuous mappings of E into [0, 1], such that the supports of the fa form a
locally finite family, and such that £ fa(x) = 1 for all jc e E. If (Aa)ae t is an
open covering of E indexed by the same set I, then the partition of unity
C/a)« e i is said to be subordinate to the covering (Aa)a 6 j if we have Supp(^) c Aa
for all a e I.
(12.6.3) Let (An) Z>£ an at most denumerable locally finite open covering of a
metrizable space E. Then there exists a continuous partition of unity (fn) on E
subordinate to (An).
Let (Brt) be an open covering of E, such that Bw cz Aw for all n (12.6.2). It is
clear that the covering (Bn) is locally finite. By (4.5.2), for each n there exists a
continuous mapping hn:E-» [0, 1] such that hn is equal to 1 on Bn and equal
to 0 on E - Art. If we put gn = (hn — %)+, then Supp(#n) is contained in the
set of points x such that hn(x) ^ i, and hence is contained in An. Let g = £ gn.
Since the sets Brt cover E, we have g(x) > 0 for all x e E, and therefore the
functions^ = gjg are defined and continuous on E, and form a partition of
unity with the required properties.
(12.6.4) Let E be a metrizable space, K a compact subset ofE an
a finite covering ofK by open sets ofE. Then there exist m continuous map-
pings fk: E-*> [0, 1] such that Supp(j^) c: Ak for 1 <^ k g m, and such that
%fk(x)^lforallxeEand £/*(*)= IforallxeK.
Take a continuous partition of unity C4)ogfc^m subordinate to the open
covering of E consisting of A0 = E — K and the Ak (1 ^ k g m).e Bk for some k ^ n. Hence the sets BM cover E.